Vienna University of Technology - PDFSEARCH.IO - Document Search Engine

Vienna University of Technology
Results: 346

#	Item
41	Visualization Techniques for Time-Oriented, Skeletal Plans in Medical Therapy Planning Robert Kosara and Silvia Miksch Vienna University of Technology, Intitute of Software Technology Add to Reading List Source URL: kosara.net - Date: 2015-10-05 00:14:13
42	Skolemization in intermediate logics with the finite model property Matthias Baaz University of Technology, Vienna Wiedner Hauptstraße 8–10 Vienna, Austria Add to Reading List Source URL: www.phil.uu.nl - Date: 2016-06-10 10:47:43
43	Formal Information Modelling for Standardisation in the Spatial Domain Stephan Winter Institute for Geoinformation Vienna University of Technology Add to Reading List Source URL: silvianittel.files.wordpress.com - Date: 2016-07-10 13:04:17
44	Int. Secure Systems Lab Vienna University of Technology A Practical Attack to DeAnonymize Social Network Users Add to Reading List Source URL: oakland31.cs.virginia.edu Language: English - Date: 2010-05-22 10:36:07 Software Computing Cybercrime Web browsers Embedded Linux Freeware Portable software Phishing HTTP cookie Opera Computer security Web browsing history
45	Int. Secure Systems Lab Vienna University of Technology Identifying Dormant Functionality in Malware Programs Paolo Milani Comparetti Add to Reading List Source URL: oakland31.cs.virginia.edu Language: English - Date: 2010-05-26 16:17:45 Security Cyberwarfare Computer security Cryptography Computer network security Cybercrime Malware Internet privacy Antivirus software CrySyS Lab
46	On the rules of intermediate logics Rosalie Iemhoff ∗ Institute for Discrete Mathematics and Geometry E104, Vienna University of Technology Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2008-12-12 07:19:27 Logic Mathematical logic Non-classical logic Modal logic Model theory Philosophical logic Admissible rule Intermediate logic Kripke semantics Propositional calculus Completeness Modal companion
47	IVS Newsletter Issue 8, April 2004 A Student VLBI Project −Wolfgang Winkler, IGG, Vienna University of Technology Add to Reading List Source URL: ivs.nict.go.jp Language: English - Date: 2004-05-13 17:21:50 Radio telescopes Astronomy Geodesy Astronomical imaging Observational astronomy Radio Interferometry Radio astronomy Very-long-baseline interferometry HALCA Fundamental station Algonquin Radio Observatory
48	Fortran Program Specialization Paul Kleinrubatscher, Albert Kriegshaber, Robert Zöchling, Robert Glück1 University of Technology Vienna, Institut für Computersprachen, Argentinierstraße 8, A-1040 Vienna, Austria E-ma Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:44 Software engineering Computing Computer programming Procedural programming languages Programming languages Programming language implementation Control flow Compiler optimizations Fortran Partial evaluation Programming language Type system
49	Augmented Visualization with Natural Feature Tracking Gábor Sörös ETH Zurich Peter Rautek Vienna University of Technology Hartmut Seichter Graz University of Technology Eduard Gröller Vienna University of Technology Add to Reading List Source URL: www.vs.inf.ethz.ch Language: English - Date: 2013-12-11 08:10:35 Augmented reality Humancomputer interaction Tracking Music tracker Match moving Software Filmmaking
50	Personal & SOHO Archiving Stephan Strodl Vienna University of Technology JCDL 2008, June 17 Motivation Add to Reading List Source URL: www.jcdl2008.org Language: English - Date: 2008-07-30 15:18:28 Digital preservation Archival science Records management Digital libraries Museology Open Archival Information System Backup Information technology management Archive Library science